Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement
era.ed.ac.uk·23h·
Discuss: Hacker News
🤖AI
Interactive Programming in C (2014)
nullprogram.com·4h·
Discuss: Hacker News
🤖AI
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com·1d·
Discuss: Hacker News
🤖AI
Monads as Graphs (2019)
neilmitchell.blogspot.com·1d·
Discuss: Lobsters, Hacker News
🤖AI
WebAssembly Won't Get Direct DOM Support Any Time Soon
danfabulich.medium.com·54m·
Discuss: Hacker News
🤖AI
Open-Source LLM Helps Safeguard Text Generation Prompts and Responses
corp.roblox.com·17h·
Discuss: Hacker News
🤖AI
Introducing OSS Rebuild: Open Source, Rebuilt to Last
simonwillison.net·4h
🗄️Databases
Generic Containers in C: Vec
uecker.codeberg.page·14h·
Discuss: Hacker News
🗄️Databases
Want Discriminated Unions in Kotlin? Use a Sealed Class.
spin.atomicobject.com·9h·
Discuss: Hacker News
🌌Cool science shit
Crafting a dependent typechecker, part 1
blueberrywren.dev·4d·
Discuss: Hacker News
🤖AI
Python 3.14.0rc1
python.org·22h·
Discuss: Hacker News
🤖AI
Safe Cell field projection in Rust (2020)
abubalay.com·2d·
Discuss: Lobsters, Hacker News
🗄️Databases
Designing for the different stages of a system's life
exploring-better-ways.bellroy.com·1d·
Discuss: Hacker News
🤖AI
Dear Null
home.expurple.me·1d·
Discuss: Hacker News
🤖AI
Choosing the rijght .NET container image for your workload
medium.com·11h·
Discuss: Hacker News
🗄️Databases
Raku: First Programming Language?
wayland.github.io·1d·
Discuss: Hacker News
🤖AI
Claude Code Is a Game Changer
probably.co.uk·1d·
Discuss: Hacker News
🤖AI
100% AI-built WebDAV client streams 100 GB text, greps in seconds
github.com·5h·
Discuss: Hacker News
🗄️Databases
The Signal Protocol Explained #1: Implementing the Post-Quantum Extended Diffie-Hellman (PQXDH) protocol in Rust
kerkour.com·15h·
Discuss: Hacker News
🌌Cool science shit
Scavenger Malware Distributed via ESLint-Config-Prettier NPM Package Hack
invokere.com·2d·
Discuss: Hacker News
🤖AI